Logic models